Modeling a distributed railway interlocking system with object-oriented Petri nets
نویسندگان
چکیده
Great progress of distributed technology and intelligent terminals makes it possible to develop a distributed railway interlocking system (DRIS). In this paper, a modelling method of DRIS is presented by using G-nets, which are Petri nets extended with object-oriented concepts. The modelling method improves maintenance and reusability remarkably. Based on the models, the DRIS can be implemented with an object-oriented language such as C++ or JAVA.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملFail-Safe Signalization and Interlocking Design for a Railway Yard: An Automation Petri Net Approach
The most important issue in railway systems is to provide safe transportation. Since no error can be tolerated in railway systems it is an obligation to use reliable signalization and interlocking systems which have to decide what to do in unexpected situations like switch disruptions or signal light defects. By the rapid development in railway systems more formal methods are needed for modelin...
متن کاملColoured petri nets to model geographical interlocking for railway
Petri nets have been widely applied in different aspects of railway modelling and analysis. This paper presents an insight into how coloured Petri nets can be used to model geographical interlocking. We start with a generalisation of coloured Petri nets and follow with an overview of interlocking. In the main body we present a generic unit model and demonstrate how it can be used to represent a...
متن کاملA formal modeling methodology of the French railway interlocking system via HCPN
A railway interlocking system (RIS) plays a vital role in the safe transportation of a railway system. It is responsible for the safe routes of trains making sure that each train movement follows the other in a proper and safe sequence. Detailed verifications and evaluations are mandatory before deploying an RIS, since it is a safety critical system (SCS). But the increasing complexity of the R...
متن کاملAn Approach to Object System Modeling by State-Based Object Petri Nets
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavior of concurrent systems, it is still the case that net models do not easily capture some important structural aspects of a system, such as modularity. In terms of software systems for distributed applications, the obj...
متن کامل